HASUO, ICHIRO: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Categorifying Computations into Components via Arrows as Profunctors

Kazuyuki Asada, Ichiro Hasuo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 496 KB

english, 2010

2

Preface

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2018

Language:

english

File:

PDF, 124 KB

english, 2018

3

Generic Trace Theory

Ichiro Hasuo, Bart Jacobs, Ana Sokolova

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 401 KB

english, 2006

4

Coalgebraic Representation Theory of Fractals

Ichiro Hasuo, Bart Jacobs, Milad Niqui

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 356 KB

english, 2010

5

Probabilistic anonymity via coalgebraic simulations

Ichiro Hasuo, Yoshinobu Kawabe, Hideki Sakurada

Journal:

Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 828 KB

english, 2010

6

Natural history of borderline hypertension in the hisayama community, Japan—I. The relative prognostic importance of transient variability in blood pressure

Ichiro Fujii, Kazuo Ueda, Teruo Omae, Tatsuru Shikata, Toshiro Yanai, Yutaka Hasuo, Yutaka Kiyohara, Junichi Wada, Noriya Okumiya, Hideo Kawano

Journal:

Journal of Chronic Diseases

Year:

1984

Language:

english

File:

PDF, 703 KB

english, 1984

7

Leukoencephalopathy in HTLV-I-associated myelopathy: MRI and EEG data

Jun-ichi Kira, Sei-ichiro Minato, Yasuto Itoyama, Ikuo Goto, Motohiro Kato, Kanehiro Hasuo

Journal:

Journal of the Neurological Sciences

Year:

1988

Language:

english

File:

PDF, 689 KB

english, 1988

8

Coinductive Predicates and Final Sequences in a Fibration

Hasuo, Ichiro, Cho, Kenta, Kataoka, Toshiki, Jacobs, Bart

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 321 KB

english, 2013

9

Accuracy of diagnosis on death certificates for underlying causes of death in a long-term autopsy-based population study in Hisayama, Japan; with special reference to cardiovascular diseases

Hasuo, Yutaka, Ueda, Kazuo, Kiyohara, Yutaka, Wada, Junichi, Kawano, Hideo, Kato, Isao, Yanai, Toshiro, Fuji, Ichiro, Omae, Teruo, Fujishima, Masatoshi

Journal:

Journal of Clinical Epidemiology

Year:

1989

Language:

english

File:

PDF, 800 KB

english, 1989

10

[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada (2011.06.21-2011.06.24)] 2011 IEEE 26th Annual Symposium on Logic in Computer Science - Semantics of Higher-Order Quantum Computation via Geometry of Interaction

Hasuo, Ichiro, Hoshino, Naohiko

Year:

2011

Language:

english

File:

PDF, 406 KB

english, 2011

11

[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - The geometry of synchronization

Dal Lago, Ugo, Faggian, Claudia, Hasuo, Ichiro, Yoshimizu, Akira

Year:

2014

Language:

english

File:

PDF, 687 KB

english, 2014

12

Traces for coalgebraic components

HASUO, ICHIRO, JACOBS, BART

Journal:

Mathematical Structures in Computer Science

Year:

2011

Language:

english

File:

PDF, 1.74 MB

english, 2011

13

Generic weakest precondition semantics from monads enriched with order

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 1.51 MB

english, 2015

14

Categorical semantics for arrows

JACOBS, BART, HEUNEN, CHRIS, HASUO, ICHIRO

Journal:

Journal of Functional Programming

Year:

2009

Language:

english

File:

PDF, 291 KB

english, 2009

15

[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - Hyperstream processing systems

Suenaga, Kohei, Sekine, Hiroyoshi, Hasuo, Ichiro

Year:

2013

Language:

english

File:

PDF, 646 KB

english, 2013

16

[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - Memoryful geometry of interaction

Hoshino, Naohiko, Muroya, Koko, Hasuo, Ichiro

Year:

2014

Language:

english

File:

PDF, 296 KB

english, 2014

17

[ACM Press the 2005 ACM workshop - Fairfax, VA, USA (2005.11.11-2005.11.11)] Proceedings of the 2005 ACM workshop on Formal methods in security engineering - FMSE '05 - Provable anonymity

Garcia, Flavio D., Hasuo, Ichiro, Pieters, Wolter, van Rossum, Peter

Year:

2005

Language:

english

File:

PDF, 203 KB

english, 2005

18

[Lecture Notes in Computer Science] Coalgebraic Methods in Computer Science Volume 9608 ||

Year:

2016

Language:

english

File:

PDF, 7.62 MB

english, 2016

19

Special Issue on Quantum Physics and Logic

Hasuo, Ichiro, Panangaden, Prakash

Journal:

New Generation Computing

Year:

2016

Language:

english

File:

PDF, 200 KB

english, 2016

20

[Lecture Notes in Computer Science] Coalgebraic Methods in Computer Science Volume 9608 || On the Logic of Generalised Metric Spaces

Year:

2016

Language:

english

File:

PDF, 330 KB

english, 2016

21

[Lecture Notes in Computer Science] Coalgebraic Methods in Computer Science Volume 9608 || Fixed Points of Functors - A Short Abstract

Year:

2016

Language:

english

File:

PDF, 95 KB

english, 2016

22

Quantitative simulations by matrices

Urabe, Natsuki, Hasuo, Ichiro

Journal:

Information and Computation

Year:

2016

Language:

english

File:

PDF, 1.48 MB

english, 2016

23

Prognosis and outcome of elderly hypertensives in a Japanese community: results from a long-term prospective study

Ueda, Kazuo, Omae, Teruo, Hasuo, Yutaka, Kiyohara, Yutaka, Fujii, Ichiro, Wada, Junichi, Kato, Isao, Kawano, Hideo, Shinkawa, Atushi, Omura, Takao, Fujishima, Masatoshi

Journal:

Journal of Hypertension

Year:

1988

File:

PDF, 615 KB

1988

24

Severe Disability Related to Cerebral Stroke: Incidence and Risk Factors Observed in a Japanese Community, Hisayama

Ueda, Kazuo, Fujii, Ichiro, Kawano, Hideo, Hasuo, Yutaka, Yanai, Toshiro, Kiyohara, Yutaka, Wada, Junichi, Kato, Isao, Omae, Teruo, Fujishima, Masatoshi

Journal:

Journal of the American Geriatrics Society

Year:

1987

Language:

english

File:

PDF, 634 KB

english, 1987

25

Effects of a sodium glucose co-transporter 2 selective inhibitor, ipragliflozin, on the diurnal profile of plasma glucose in patients with type 2 diabetes: A study using continuous glucose monitoring

Yamada, Kentaro, Nakayama, Hitomi, Yoshinobu, Satoko, Kawano, Seiko, Tsuruta, Munehisa, Nohara, Masayuki, Hasuo, Rika, Akasu, Shoko, Tokubuchi, Ichiro, Wada, Nobuhiko, Hirao, Saori, Iwata, Shinpei, Ka

Journal:

Journal of Diabetes Investigation

Year:

2015

Language:

english

File:

PDF, 482 KB

english, 2015

26

“Cool-off” Function of a Silicone Pressure-sensitive Adhesive Containing a Side-chain Crystalline Polysiloxane

Yamaguchi, Satoshi, Hasuo, Ryosuke, Kawahara, Shin’ichiro, Murakami, Hiroto

Journal:

Chemistry Letters

Year:

2016

Language:

english

File:

PDF, 1.01 MB

english, 2016

27

Semantics of higher-order quantum computation via geometry of interaction

Hasuo, Ichiro, Hoshino, Naohiko

Journal:

Annals of Pure and Applied Logic

Year:

2016

Language:

english

File:

PDF, 3.47 MB

english, 2016

28

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Healthiness from Duality

Hino, Wataru, Kobayashi, Hiroki, Hasuo, Ichiro, Jacobs, Bart

Year:

2016

Language:

english

File:

PDF, 438 KB

english, 2016

29

Coinductive predicates and final sequences in a fibration

HASUO, ICHIRO, KATAOKA, TOSHIKI, CHO, KENTA

Journal:

Mathematical Structures in Computer Science

Year:

2017

Language:

english

File:

PDF, 442 KB

english, 2017

30

Metamathematics for Systems Design

Journal:

New Generation Computing

Year:

2017

Language:

english

File:

PDF, 1.58 MB

english, 2017

31

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Categorical liveness checking by corecursive algebras

Urabe, Natsuki, Hara, Masaki, Hasuo, Ichiro

Year:

2017

Language:

english

File:

PDF, 485 KB

english, 2017

32

Moore-Machine Filtering for Timed and Untimed Pattern Matching

Waga, Masaki, Hasuo, Ichiro

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2018

Language:

english

File:

PDF, 2.24 MB

english, 2018

33

[IEEE 2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS) - Porto, Portugal (2018.4.10-2018.4.13)] 2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS) - MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration

Waga, Masaki, Hasuo, Ichiro, Suenaga, Kohei

Year:

2018

Language:

english

File:

PDF, 223 KB

english, 2018

34

[IEEE 2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS) - Porto, Portugal (2018.4.10-2018.4.13)] 2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS) - Time-Staging Enhancement of Hybrid System Falsification

Zhang, Zhenya, Ernst, Gidon, Hasuo, Ichiro, Sedwards, Sean

Year:

2018

Language:

english

File:

PDF, 130 KB

english, 2018

35

Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search

Zhang, Zhenya, Ernst, Gidon, Sedwards, Sean, Arcaini, Paolo, Hasuo, Ichiro

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2018

Language:

english

File:

PDF, 1.06 MB

english, 2018

36

[ACM Press the 22nd ACM International Conference - Montreal, Quebec, Canada (2019.04.16-2019.04.18)] Proceedings of the 22nd ACM International Conference on Hybrid Systems Computation and Control - HSCC '19 - Moore-machine filtering for timed and untimed pattern matching

Waga, Masaki, Hasuo, Ichiro

Year:

2019

Language:

english

File:

PDF, 3.74 MB

english, 2019

37

[ACM Press the 22nd ACM International Conference - Montreal, Quebec, Canada (2019.04.16-2019.04.18)] Proceedings of the 22nd ACM International Conference on Hybrid Systems Computation and Control - HSCC '19 - Relational differential dynamic logic

Kolčák, Juraj, Hasuo, Ichiro, Dubut, Jérémy, Katsumata, Shin-ya, Sprunger, David, Yamada, Akihisa

Year:

2019

Language:

english

File:

PDF, 4.36 MB

english, 2019

38

[ACM Press the 13th International Workshop - Leuven, Belgium (2019.02.06-2019.02.08)] Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems - VAMOS '19 - Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain

Ali, Shaukat, Arcaini, Paolo, Hasuo, Ichiro, Ishikawa, Fuyuki, Lee, Nian-Ze

Year:

2019

Language:

english

File:

PDF, 1.12 MB

english, 2019

39

Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems

Kido, Kengo, Sedwards, Sean, Hasuo, Ichiro

Journal:

IFAC-PapersOnLine

Year:

2018

Language:

english

File:

PDF, 461 KB

english, 2018

40

Hybrid System Falsification under (In)equality Constraints via Search Space Transformation

Zhang, Zhenya, Arcaini, Paolo, Hasuo, Ichiro

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2020

File:

PDF, 2.11 MB

2020

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски